{``⊂"↓PhβD`0'B	p@'B	p@(↓J0"Q⊃0λdPX↓∃ %(↓∃ %(↓∃ %(↓∃ %(↓∃ %(↓∃ %(↓∃ %(↓∃ %(↓∃ %(↓∪ 8↓↓`$`↓A@ 0↓S@(↓↓ D`α↓  (α∪ 0(↓↓ 4hα↓  α∪ P_↓`Tpα` _α∪`@⊂↓@Eε∀↓Eε∀A¬_β∀`e(↓⊃(@⊂εαqH
↓	p8βA	`@β@iPPαA	@h↓↓	@λ¬Ai0⊂¬Ai _¬AI _¬A) _¬A) _ε↓	 _ε↓	 _ε↓	 _ε↓	 _ε↓	 _ε↓	 _¬AI0⊂¬AI0⊂¬α	@⊂∧` (&@@`_α↓)PPαAIp8¬@(T ↓F#∩`∩C`e0∧UA∃(¬Tau_α↓`E⊂ααEαα@E↓B`E↓B`Dx↓B`Dx↓β4p↓B`Dh↓C4h↓C$h↓B`$h↓B 4h↓B 4`ααDXαB tXαB`TPββTPββ dPββ@TPββ@TPββ@TPββ@TPββ@TPββ@TPβC DP∧B`DP∩BTP
R@@ ¬R@DPα∩@DPα∩@DPα∩@DPα∩@D("↓β1XFa@_*A*@⊂↓@J0_↓@j0_↓@j0_↓@j0_↓@j _α@j ⊂β@J⊂_β@j_∧@j_∧@j_∧@j_∧@ip_¬@iP(¬A)P εA	P_π@i@ πA	0(πA)0_	@i _
@i _
@i _
@i _
@hT αFβP	@β∧P↔`5x↓W`5x↓W`5x↓W`5x↓Q(@0λ∧β!`∧Aj ⊂(@J_&A)P &A	@ &↓	0(%↓I 0%∧	 0%↓I 0%A)@ &↓	P '@j_(@j ⊂)j08"QqHF#	∩B4P
∩C∧hααA∧hαα@$hαα@$hαα@$hαα@$hαα@$hαα@$hαα@$hαα@$hαα@$hαα@$hαα@$hαα@$hαα@$hαα@$hαα@$hαα@$hαα@$PβB@%`Wt("αβ⊃H∂H  @&αJ⊂()↓
0 *j@ *A
`_+j` +↓
` +↓*`(+↓JP8*α
0H)↓   (A @_(↓@@ 'A p '↓!⊂_&AA⊂_&A↓0 &@A`_&Ap %↓α %↓α %↓α("Q↓⊃@εCq(↓R@Aα∩@PpαR@``β∪PPαS P@αS `0β∪`P αTP⊂αT↓E_βT`e_β∀`e_β∀`e_βT`u_βT`u_βT`u_βUe β∃ D("αBa0∞GaP'D)a⊂&DiP_ε↓	P_&@iP &A)P8)↓j @)αIpp'∧	Q⊂&↓!  %A↓P_%↓↓`_%↓↓`_%↓↓`_%↓↓`_%↓↓P %A↓0(%AA0&∧IAλ&∧*P"Q↓1`∞λd!8α↔`uxβWA¬h↓@@Eh↓↔5`↓W%X↓V@5P↓⊗ 5H↓V %@↓U`58↓∃@50↓U@%(↓U5 ↓∀`5_↓T`%⊂↓T 5λ↓∩@@⊂↓RA∀P∧∩@t`α⊃(@`ε∧α ¬@JP⊂*@JP⊂*@JP⊂*@JP⊂*@JP⊂%ε	!@%ε	!@*@JP⊂*@JP⊂*@JP⊂*@JP⊂*@JP⊂*@Hp_ε	!@%ε	!@"Q↓QHF#`HβT↓Uα @λα∪`@⊂α@Dhα↓@_α∪ 0(α↓D`↓A@@(α∩`08α↓@4X↓α@8↓∩@0@α↓`4PRC∀PRC∀P↓B@8↓R@0@α↓`4X↓A`@0↓S 8α↓@4`↓A@@(α∪ @ α`Dpα`@_↓S`@⊂α@EεTA∃_βQ(@pF!a(↓AA(&αPH%@`@_↓@``λ%↓P8β@I  β↓!⊂%↓p ∧I  βA↓⊂%↓p ∧I  βA↓⊂%↓`(∧I  αA`p⊂%@`@_↓@``λ&αPH&AA("Q↓q0λdPHβ∀↓Eε∀↓UααEh↓W 5p↓↔@%p↓↔@%p↓↔@%p↓↔@%p↓∀↓⊂(↓∀↓  ↓∪b∀h	S 0`α∪@`α∪@`α∪@`α∪@`α∪@`α∪@`α∪@`α∪@`↓S 0X↓S 0Hα∪!thπ∪!U⊂βQ(AεαqH∧Cj↓⊂(∧Iq_&↓)@ %A)  %i _%i _%i _%i  %↓I0(&↓)Q('Dj↓⊂)ChT λF#⊃_@α4P
RBTP↔ehαW@Uxα↔`Exα↔`Exα↔`EpαW U`β∩BTP
∩B4("∧BQ(∞Ga('Bi` αA	P βA	 0∧AI (¬A) (¬A)  εA	  εA	  εA	  εA	  εA	  εA	  εA	  εA	  εA	  εA	  εA	  εA	  εA	  εA	  εA	  εA	  εA	  εA	  εA	  εA	  εA	  εAλT 	E"Qh∂@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@PXαR@PXαR@`Hβ∪ @8α∪@@(α∪a5⊂αQ(A F$2 b  %↓α⊂ %Aα_%A!` &↓↓` &↓↓` &↓↓` &↓↓P(&@aP_&A↓0_&A!⊂ &A@p(&DIQ⊂'Cjp(a⊂(a⊂(`p_(@`P_)@P_)@P_)@P_)@P_)@P_)B
08)Aj08*↓*@(*A
P *A
P "QαQHHdPRC¬pα↔@Epα↔@Epα↔@Epα↔@Epα↔@Epα↔@Epα↔@E_πTau_πW@Epα↔@Epα↔@Epα↔@Epα↔@Epα↔@Epα↔@Epα∩C∧PQ(A0F"a@∧Ajh(A⊂_'@a⊂ &A@p0&@  _βA	@⊂↓@`P α)0_αα@Pλ%@`P@β)  αA`p⊂%↓`(∧I  β↓!⊂%↓P8β@I0_αα@Pλ&@0 ↓A @λ&αPH&AA('↓↓ _'@a _(β* H)AhT F#⊃↓@0@↓∪`@@α∪`0P↓S@0Xα∪ 0hα∪ 0hα∪αdPRbt`∪ 0hα∪@ h↓S@0Xα∪`@@α∀0@↓T0@↓⊃(A@∞πOpπ	!`%π	!`"Qβ⊃`∞¬C⊃⊂W5`↓WEpα↔`5xα_ Fλα∩CDP∞∩CDP∞_ Fα↔`Epα↔ 5`↓W%`W∀("εC⊃H¬E ` π)PH¬@IPP∧@i@hβ↓	0(↓A`@ %AP8↓↓)  ββI _∧β) ⊂¬αI ⊂¬α) λπ↓λT 
Fβα_⊂EEpα↔@EhαWE`↓W5X↓V`%X↓⊗@5P↓⊗ 4`∪αd`∃@E0↓U E αT`d`∪αeλα∀ 5↓T5↓T4x↓S Thα∪ 4`α∪D("παa0∞πB@⊂-A+  ,↓*P8*↓J 8'Ai`0&↓i@8'↓Ip8(↓j 0)Aj`8,↓K⊂8/Hp(↓¬	A &¬λT ∞EBa`∂@$`αS@DxαTu⊂β∀`u0βVeHβV u@β∃@u(βUe⊂βS`tpβ∪t`↓⊃`P⊂
∪αD`
⊃(Ap¬B⊃0↓¬	A #A ! &¬	A #A ! &¬λT ∂Fc1H@1(↓R@1(↓R@1(↓R@1(↓R`PxαS@xα∪@xα∪ @hα∪ @hα∪ PXαT0H↓T0H↓T0H↓T0H↓T  H↓∀ 08↓T@0(↓T` (↓∀`0_↓T`0_↓T`0_↓T`0_↓U U0↓U@4("λλT ⊂B!∩⊂⊃`D`βSt`βSt`βSt`βSt`βS Thα∪ Dhα∪ Dhα∪ Dhα∪ Dhα∪ Dhα⊃`P_α∪t`βSt`βS Thα⊃(B⊂λ∧↓2 ↓↓ @(&↓ @(&↓ @(&↓ @(&↓ @(&↓ @(&↓ @(&↓ @(&↓ @(&↓ @(&@``_"Q∧1HEc⊂@↓↓`%⊂↓↓`%⊂↓↓`%⊂↓↓`%⊂↓↓`%⊂↓↓`$`Sαu⊂↓↓`%⊂↓↓`%⊂↓↓`%⊂↓↓`%⊂↓↓`%⊂↓↓`%⊂↓↓`$`Sαu⊂↓↓`%⊂↓↓`%⊂↓↓`%⊂↓↓`%⊂↓↓`%⊂↓↓`$("	β↓@⊃HA⊂α@j⊂`(βIqλ&A`PH&@` ⊂αB)P_↓@PH&↓ ⊂α@`  &↓ ⊂α@i@ ↓@P_&↓ ⊂α@i@ ↓@P_&↓ ⊂α@i@ ↓@P_&@` ⊂α@iP8α@iPx'βiq)βJ ⊂αAj ⊂αB
 ⊂α@`  )@P_↓↓
 ⊂α@`  )@P_↓↓
 ⊂α@`  &↓ ⊂α@`  &↓ ⊂⊂α@`  &αP_↓i@@αB	Q_'D
x)@P_"Q∧Q@λ∧⊃λα∪ @Pα∪ PHα∪↓0αR@0(↓↓ TP↓A  (α∩@0(↓↓ DP↓A   α∩` (A D`βA Dhα↓@U8α∃@U0α∃@5(α∃U α∀`U_α∀`E_α∀@@(α∀ @(αT@(βS`@(↓↓ 4xα↓  (↓S`@(↓↓ 4pαA  (↓S@@8A $hαA`thαα@D("	Cap⊃HA08)↓ ⊂8)↓00)↓00(@`p (@A⊂ (a⊂0(↓↓ (↓↓_(↓ ` (A 0()↓0 )↓ ⊂()α
 8)↓``H&C↓0λ&A  (¬@)@(α↓! λ&↓`0∧)@ β↓Aλ%A `0β@I 0β↓@`_%↓@p(βI 0∧↓ P⊂%↓A⊂(α) 0¬↓) 8¬↓i 8¬AI 8¬AI @¬↓I@8∧α	P8β`⊂0&C`08)↓λT ∪B!⊂h⊃@TP∧RA∀P∧Suλ↓∀ %↓T$x↓S D`↓R@D("
↓ P∀I↓⊂λ)J⊂⊂(j_(j_&A)P &A	P &@i@ &↓	@ %A) 0%↓) (%↓	  %↓	 (%↓) 0%A)@ &↓	@ &@iP &A	P &A*_(j_(j⊂⊂)J0λ"Q¬⊂P¬
$@R@4X↓∩`4`↓∪$`↓∪ Dhα∪ DhαS@DpαS`Dxα∪`DxαTEα∀Eα∀Eα∀DxαS`Dxα∪`DpαS@DhαS Dhα∪ D`↓∪$`↓∩`4X↓∩@4PQ(BP	Dc⊃X∧@*  )↓
  )↓
0⊂%↓@0⊂α↓	 8↓  8&↓@⊂λAIPh)↓
  )↓
  )↓	Ph%↓` λ↓↓i 0↓@ @(%↓@0⊂α↓
  )↓
  )↓
0⊂)@(T ∃Fβ↓0B`E(α∃ E(α∃ E(α∃ E(α∃ D`∪αd`∪αe(α∃ E(α∃ E(α∃ E(α∃ E(α⊃(B`βAb8↓↓	 8%↓i 8%↓i@(&A	P &A	@(&↓	@ %A)  %I λ"Q¬Q_	Aα⊂λSα∀`λSα∀("@`0αA@ ⊂%↓I 0%↓I@⊂"Q¬q_	K∧Aλ↓⊗ EH↓V 5H↓V 5H↓U@e0αU@U0α∃@E(αU U(α∃ E αUU_β∀`5_↓T`5_↓T`5⊂α∀@5⊂↓∀ 5α∀5↓T5↓T4hβ∪ ThαS Dhα∪T`αSD`α∪D("β⊃H⊃λA⊂H)αj⊂h(βip(βA)`(∧A)P0∧AIP(¬A)P εA	@(εA)@ πA	@ πA	@ πA	@ πA	@ πA	@ πA	@ πA	@ πA	@ πA	@ πA	@ πA	@ πA	@ πA	@ πA	@(εA)P(¬A)P(¬A)P0∧AIp(βA*(αA*x)αj0H)B(T _Db2⊂⊃α`E_β∀@u∧T↓∃(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α∃ EεT↓UεQ(C⊂F$"⊂¬Aj h(CJ↓'A`P8'↓A⊂(&AA0(&A!P &A↓` &A↓` /Ap /↓+@8.↓K08,Ak⊂0,↓jP@*α
0H)α
⊂8(↓ip8'AI`0&AIP0&EIQ0&EIQ0"Qε1HHD @¬Sb∧pλS"4hβαthαB`T`αC T`αβ`D`αβ`D`αβ`Exα↔`EpαWeXβ∀aU_ε∀aE_εWehαW@Uxα↔`D`αβ`D`αβ`D`αβ`D`αC ThβαthβA@th	Sb¬λεTA4("
β1X⊃λA`@+αJ`P+αJP(↓↓
P ↓A
@(↓A
0(α↓
0 αA
0 αA
  β↓
  β↓
⊂(β↓
(βA
 ∧↓
 ∧↓	p ∧A	p ∧A	`(∧A	P(¬↓	P(¬↓	AH&ε)AH&ε+@ .↓@ .↓@ .↓@ .↓@ "QεQHHD _
S"Th
S"Thα∪ Dhα∪ Dhα∪ Dhα∪ DhαADh	S"Dh
S p@β∪ `PαS `XαW`Exα↔`Exα↔`Exα↔`Exα∪ `XαS p@βS!0βS"Uλ∀AU_ε⊃(C0ε∧"⊂∧B* h(CJ↓'A``0'AA('↓A  &AIP0&AIP(&A	P &A H&A⊂X&DIQ⊂&BP(&A`p(&AA⊂0&A!0(&A!0(&A↓P &A↓P &A↓P &A!0(&A!0(&AA⊂0'↓@p8'A@P8'D*x)αj0H"QεqHHD (
∪bDx
∪bEpαW@EhαWe`αWUXαV`EPαV eHαV U@αVE8αU@e0αU@U(αU E αT`e_αT`U⊂αT@EλαTeαTD("∞β⊃H⊃λAX'D)qλ'∧iP0∧AIP(¬A)P(¬A)P εA	P εA	P(¬A)P0∧AI`(∧A)`0βAIp8↓Aj⊂0AJ X)B* X(βiPH↓B)P8βAiP0∧AI@(εA)@ πA	@ πA	@ πA	@ πA	@(εA)@8∧AiP8βAiQ(&E)qλ(βhT ≤F#∩⊂⊃αa¬⊂π∀"¬	∪`p0β∪``@αS`PPαS`@`α∪`@`α∪`@`α∪`@`α∪`@`α∪`@`α∪`PPαS``@β∪`p0βTα5λ	∀B∃(∧@Exα↔`Exα↔`EpαW ehαS`@Hβ∪`P8βTP(βTα¬⊂εTa5_¬⊃(CP∧B"A(↓A	@8&↓i@8&Aλp@↓A	P(&↓i@8&↓i@8&AλT ≥A`q`
@@DPβR@tPβSD8β@@DPβR@tPβR@t`αS Dhα∪ D`αR`TXα∩@DP↓R@$PQ(C`
E"A`	k⊂0,↓*P8)α
 8(B	P8&↓I 8%↓i@0&Aj⊂@)↓j @*Ak(,AK@_"QπQHBB0⊂Sαt8α@Bt`Sαt("∂BQ(
π_%↓i@0&Aj⊂@)↓j @*Ak⊂ ,AK⊂0,A
P8)α
 8(B	P8&↓I 8%hT ∨Dαα⊂⊃a∀`α@ t`α`dXα@`dP↓B 4Pαα4Pβ↓@DPβ↓ TX↓A`T`A`e_βT`u_βT@uλβ∀eα∀5↓T%T∃T∃Q`00↓T4xα∪ txα∀4("⊂∧∩λ∞εa⊃⊂)¬
⊂ εA* πA)p λA	` 	@iP 
↓	@ αB↓⊂(&↓@P∧A	@ ↓C↓ &`0(αA@P &@@ βA P &@@ βA P &@@ ∧↓P &@@ ∧↓P &@@ ∧↓P &@@ ∧↓@(&@@ ∧↓@ &@@ βA 0 &@@(αC	@⊂αA 0`&@Q_&`pP&i@ &GIq`(εhT  GβB⊂⊃βE0αU@U(βU u(βU↓¬_α@E_α@E_α@E_α@U_↓AE⊂α↓U⊂α↓ E⊂α↓ EλαA EαA`EααEααEααUααTx	Sb4x	SBDhαβ@Dhαβ@Dhαβ@Dhαβ@Th↓DD`α∧TXαD DXαD DPβ∧ T("⊂C1X⊃λ@!_&¬IA0&¬i@ εα)@ π↓i@ πAI@ λ↓)@ λA	@ λA	@ λ↓)@ λ↓)@ πAI@ ε↓i@ ¬AiA0&∧iA &¬I@ ε↓i@ π↓I@ πAI@ λ↓)@ λA	@ λA	@ λ↓)@ λ↓)@ πAI@ εα)@ ¬B)A8&¬IA &∧hT !Fc2⊂⊃α!%λ∀α∀x	S p@βS `PβSpXβR``pβ∩`QαR@aλα∩@dPαR@TPα∩@DPα∩@DPα∩@DPα∩@DPαR@dPβ∩@aλα∩``pβ∪`hβ∪pXβS p@βS@p0βSb5λ∀AE_¬⊃(D 
Fd"⊂↓∧)A &¬)A0&↓↓0@&↓↓P0&↓↓`0&↓↓p0&↓↓p0&↓↓p0&↓α(&↓α⊂ &↓α⊂ &↓α⊂ &↓α⊂ &↓α⊂ &↓α⊂ &↓α⊂ &↓α⊂ &↓α⊂ &↓α⊂ &↓α⊂ &↓α(&↓α(&↓↓p0&↓↓p0&↓↓p0&↓↓`8&↓↓0H&↓↓ H&¬iA &∧IAλ"QλQ@λD ⊂∪αd`∪αd`α∪D`α∪D`α∪D`α∪D`α∪D`α∪α∧`λ∪α∧`λ∪D`α∪D`α∪D`α∪D`α∪D`α∪D`∪αd`∪αd("⊃C↓@⊃λ@!0&¬IA0&¬I@ &↓	@ &↓	@ &↓	@ &↓	@ &↓	@ &∧	A&∧	A&↓	@ &↓	@ &↓	@ &↓	@ &↓	@ &↓	@ &↓	@ &↓λT #GβB⊂⊃α↓e	Tα4x
S pPβS `hαS `pαSaα∪Qλα∪Qλα∪D`α∪D`α∪D`α∪D`α∪@X¬S@X¬S@X¬S@X¬SA⊂α∪A⊂α∪Qλα∪`xαS Ppβ∪ ``βS pP∧∪@p@∧Sbu	 5λλ`%⊂π↓$("∩β⊃H⊃λ@  πA	@ πA	@ πA	@ πA	@ πA	@ πA	@ πA	@ πA	@ πA	@ πA	@ πA	@ πA	@ πA	@ πA	@ πA	A8&¬iA8&¬i@ πA	@ πA	@ πA	@ πA	@ πA	@ πA	@ πA	@ πA	@ πA	@ πA	@ πA	@ πA	@ πA	@ πA	@ πAλT $A@b⊂⊃@D`α∪D`α∪D`α∪D`α∪D`α∪D`α∪D`α∪D`α∪D`α∪D`α∪D`α∪D`α∪D`α∪D`α∪D`α∪D`α∪D`α⊃(DP	Dd"⊂πA⊂ ,A⊂ ,A⊂ ,A⊂ ,A⊂ ,A⊂ ,A⊂ ,A⊂ ,A⊂ ,A⊂ ,A⊂ ,A⊂ ,A	  ¬A	  ¬A	 (∧A) 0βAI00αAi1⊂&∧	``'BHT %Fβα⊂⊃@@pα∪@`β∪@`β∪@XβS@HβS@Hβ∪@@βS@0βS@0β∪@(βS@_βS@_β∪@⊂βS↓4`¬∪↓$`∧S↓∀`¬∪@⊂αS@_αS@_β∪@(αS@0αS@0β∪@@αS@HαS@Hβ∪@XαS@`αS@`β∪@`β∪@hαS@pα⊃(D`
E$"⊂↓↓	@ &↓	@ &↓	@ &↓	@ &↓	@ &↓	@ &↓	@ &↓	@ &↓	@ &↓	@ &↓	@ &↓	@ &↓	@ &↓	@ &↓	@ &∧iA_&∧iA_"Q	Qx⊂HD α¬`DPαEdPαEdPβ∧`dPβD tPβD tPβD tPβD↓∧PβD↓∧P∧βA∀P∧C!∀P∧C!∀P¬αa$P¬αA4Pα@@Pα@@DPα@P@β@DPα@P@β@DPα@P@β@DPα@`8β@DPα``(β`DPα``(αADPα``(αADPα↓P αA DPα↓ @ αA DPα↓ P⊂β↓ DPα↓A00α∩@@0¬↓`DPα↓A 8α∩@@0¬↓`DPα↓a@α∩@@8∧αDPααp@α∩@@HαB DPαα @Pα⊃(DpFd"⊂↓a` %↓a` %↓a` %α↓P %α!@ %α!@ %αA0 %αA0 %αA0 %↓⊂0¬↓	  ↓↓A⊂ %↓0(∧A	  ↓AA %↓00∧↓	  α↓! %↓@0βA	  αA@` %↓`(β↓	  β↓@P %↓`0αA	  βA P %↓p0α↓	  ∧↓@0 %↓↓⊂(↓A	  ∧A@  %↓↓⊂8A	  ¬αi  ¬αi  ¬BI  εα)  εα)  εα)  εB	  π↓hT 'Fc2_⊃α!∃πT↓txλS `Hβ∪ PXαS @hα∪@xα∪@xα∩`PxαR@QλαR@A_α∩@A_α∩@A_α∩@A_α∩@A_α∩@A_α∩@A_α∩@A_α∩@A_α∩@A_α∩@A_α∩@A_α∩@A_α∩@QλαR@`xβ∩`PxαR`PxαSPhαS PXαS `Hβ∪"Tp	Sb∃_∧Q(EF$"⊂↓∧iA &¬)A0&↓↓@8&↓↓P0&↓↓`(&↓↓p &↓↓p &↓↓p &↓↓p &↓↓p &↓↓`(&↓↓@8&↓↓08&¬IA &∧IAλ&↓	@ &↓	@ &↓	@ &↓	@ &↓	@ &↓	@ &↓	@ &↓λT (Fc2H⊃α!∃πT↓txλS `Hβ∪ PXαS @hα∪@xα∪@xα∩`PxαR@QλαR@A_α∩@A_α∩@A_α∩@A_α∩@A_α∩@A_α∩@A_α∩@A_α∩@A_α∩@A_α∩@A_α∩@A_α∩@A_α∩@QλαR@`xβ∩`PxαR`PxαSPhαS PXαS `Hβ∪"Tp	Sb∃_∧U`U@αV!∃P∧⊗a¬`βQ(E⊂F$"⊂↓∧iA &¬)A0&↓↓@8&↓↓P0&↓↓`(&↓↓p &↓↓p &↓↓p &↓↓p &↓↓p &↓↓`(&↓↓@8&↓↓08&¬IA &∧IAλ&↓`0&↓p(&↓p0&↓↓0&↓↓⊂(&↓↓⊂0&↓↓ 0&↓↓00&↓↓08&↓↓@0&↓↓P(&↓↓P0&↓↓`(&↓↓p &↓↓p "Q
1@λd HβT↓Uπ∪b∀hβA!∀hαB thαα`d`αβ@D`α∪D`α∪D`α∪ThαS thεSATxλ∀Ae8∧V↓∃`β↔ UhαW@Epα∪@hαSPXβ∪`Hβ∪↓(∧∪"4xλ∀↓u_βQ(E F$"⊂ε)!H%ε)!H*A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P "Q
QX
HD ⊂α∧ D`α∧ D`α∧ D`α∧ D`α∧ D`α∧ D`α∧ D`α∧ D`α∧ D`α∧ D`α∧ D`α∧ D`α∧ D`α∧ D`α∧ D`α∧ D`α∧ D`α∧ D`α∧ D`α∧ D`α∧ D`α∧ D`α∧ D`α∧ D`α∧ D`α∧T`α∧T`αC@dhβα`dhβB dh∪b5λπTAT("∃C1X⊃λ@ 	A	 (λA) (λA) 0πAI 0πAI0(πA)0(πA)@(εA)P εA	P εA	P εA	P εA	P(¬A)P0∧AI`(∧A)`(∧A)p ∧A	p ∧A	p(βA)p(βA* βA
 βA
(αA*(αA*0↓AJ⊂(↓A*  ↓A
  ↓A
 X)αj X*↓jP(*A(T +Je2⊂⊃B_α∩@B_α∩@B_α∩@R⊂α∩@`pαβ@TXαC@@pα∩`Ppαβ@D`αβ PhαS@hαC T`αB`pXβ∪ @XβB`Thαα`pXα∪ PP∧α@Dhβα↓ @αS@P@α@@@α∪@P@α@@@α∪`@8α@@@8αS`@8α@@@8αS`P(β@P(β∀@(αA@(αT@(α↓ @(α∀P α↓ P α∀`⊂αA `⊂αT!08¬T!08¬TA @¬∀A @¬∀A @¬∀aP∧∀`pXβT`pXβUPhαU @pα∃ @pα⊃(E@F$"⊂↓α⊂ %↓" %↓" %↓A`(%AA00&↓!00&↓A 0&AA('↓ p('↓@P0'A@@0(↓ @((↓@ ()αJ0@)Aj@(*↓*08)αJ⊂X(↓@ ('A@@0'A P0'↓@P0&AA(&A! (&↓A 0%AA00%A!P(%↓A`(%↓" %↓α⊂ %↓α⊂ "Q⊃HHD α∧ DPαDDPαDDPββ@TXβα`d`αB`d`βα@dhβαTpαA`Tpβ↓ dxβ↓eαAUβ@U⊂¬∀a¬_∧∀`u αUU(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α⊃(EPε∧"⊂ε	!@%ε	!@.↓K@(-AK 0-↓+⊂0,↓jp8+↓j`0+↓*P0)Aj00)↓j⊂0(A*0'Ai`8&AiP0&A)@0%↓i 8%ε	!@%ε	!@"Q0xπK∧@⊂εS↓T`α∪D`α∪D`α∪D`α∪D`α∪D`α∪D`α∪D`α∪D`α∪D`α∪D`α∪D`α∪D`α∪D`α∪D`α∪D`α∪D`α∪D`α∪D`α∪D`α∪D`εS↓T("↔α1_⊗	  &↓)P &A	P &A	P(&AIp (j_(j (↓
⊂_(@j _)j  )@j0_)@j0_)A
00*↓*P *A
P(+↓
` +↓
` +↓*`0,↓⊂_,@k⊂_,A⊂ -k _-@HT .Car`∩AT`εU E(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α∪↓T`εQ(Ep
E$2 ∧@j 8(B
P'C	` @` _&A _↓@i@ ↓@`P⊂%@`P_βI _β``_)@j0_)@j0_)@j0_)@j0_)@j0_)@j0_)@j0_)@j0_)@j0_)@j0_)@j0_)@j0_)@hT /GβA0B ∃⊂↓∀@%λ↓T4x↓S D`αR`dP∞∩CDP∞∩CD`αS DhαT5λ↓∀@%_T`∃_Q(F∧B!R⊂αA	@ &i0_%i ⊂%I 8%α	 H%α)08&↓(T 0E"QHαtxεSAdhλ∪P@αS@Pα∪@PαV`EXα∀@p⊂α∪b∧pλS"$`αBd`αα@T`αα@T`αα@T`αα@T`αα d`αA!∀hα@a$h	∪a λαT↓_α∀p α⊃(F⊂ε∧"⊂↓↓	@ &↓	@ &↓	@ &↓	@ &↓	@ &↓0H&↓0H&↓ X&∧i@HαA)@@βA)@8∧A)@0¬↓)@(¬AI@ εA)@ π↓	@ π↓	@ π↓	@ π↓	@ εA)@(¬AI@0¬↓)@8∧A)@@βA)@HαA)A_&↓ ⊂X&↓0H&↓0H"Q1_	Ec0∧S!thπS!t`αA`T`αα DXαB DPβ∩@TPαR@DPα∩@DPαR@TPβ∩`PHα∪@Hα∪P8αS!thπS!u∧Q(F ¬D"⊂	↓@ .↓@ .↓@ .↓@ .↓@ (α 0 (α 0 'B`  &DiP(αB)@(βB	0(∧Ai0(¬↓I 0¬A) (εA	  π↓	  π↓	  π↓	  π↓	 (εA	 0¬A) 0¬↓I 0∧Ai00βB	@0αB)A &DipXA*H↓AλT 2Fβ↓8α uεT↓dxλ∪ `@αS PPα∪ @XαS@hαS@hαSαd`∪αd`∪D`α∪D`αC DhαB`Thβα dh	SB∀xλ∀A$("→APh⊃λA⊂ )↓*⊂0(↓j (ip 'A	p 'A	@X&αi@X&αi`('A	p 'A	p 'A	p 'A	p 'A	p 'A	p 'A	p 'A	p 'A	p 'AλT 3EBb↓A⊂_α∪a0λαSB∀h	∪ @8α∪ 0H↓S@Hα∪@Hα∪@Hα∪@Hα∪P8αS P(αS!thπSADp¬ST`α∪Dh↓@A∧p↓!$pπS"$hαA@t`αBd`αα@T`αα@T`αBd`	S"∀hλ∀↓$("~αQ(⊃λ@  &↓	@ &↓	@ &↓	@ &↓	@ &↓	@ ↓Ai@ ↓B	@ ↓αIA&α0(&↓`P(&↓@p(&↓!(&↓!0&↓↓ (&↓↓0 &↓↓0 &↓↓0 &↓↓0 &↓↓0 &↓↓0 &↓↓0 &↓↓0 &↓↓0 &↓↓0 &↓↓0 &↓↓0 &↓↓0 &↓↓0 "Q
⊂0βλD ⊂α∪D`α∪D`α⊃`P⊂α∪D`α∪D`α∪D`α∪D`α∪D`α∪D`α∪D`α∪D`α∪D`α∪D`α∪D`α∪D("~A P∃H@` (↓
 (↓
 #A ` (↓
 (↓
 (↓
 (↓
 (↓
 (↓
 (↓
 (↓
 (↓
 (↓
 (↓
 (↓
 (↓	p(&Ai@8%α) 8%↓I 0"Q
1(
HD ⊂α∪D`α∪D`α∪D`α∪D`α∪D`αα 4`αα 4`ααD`α↓@d`α↓@T`α↓ T`α`d`α`T`α@T`¬∪↓$`¬∪↓4`ε∪P⊂β∪@(αS@0αS@0β∪@@αS@HαS@Hβ∪@Xα∪@`↓S@`↓Q(F`β↓D"⊂↓↓	@ &↓	@ &↓	@ &↓	@ &↓	@ &↓	@ &↓	@ &↓	@ &↓	@ &↓	@ &↓	@ &↓	@ &↓	@ &↓	@ &↓	@ &↓	@ &↓	@ "Q
Qx∂Ec⊂α``0β∪Pλ∧↓↓∧`πa$`π@!D`∧↓↓ αSp0β↓@D`βA@`0α∪P@αA`D`αα @@α∪@HααD`αα @@α∪@HααD`αα @@α∪@HααD`αα @@α∪@HααD`αα @@α∪@HααD`αα @@α∪@HααD`αα @@α∪@HααD`αα @@α⊃(Fp
E"q@↓↓08&↓ ⊂P&∧	Aλ&α@0&↓``(&↓``0&↓!⊂(&↓↓0 &↓↓0 &↓↓0 &↓↓0 &↓↓0 &↓↓0 &↓↓0 &↓↓0 &↓↓0 &↓↓0 &↓↓0 &↓↓0 &↓↓0 &↓↓0 &↓↓0 "Q
q0¬c@∧∪adxπ∪B∧hβAthβ↓@dhαBT`αB@T`αβD`αβD`αβD`αβD`αβD`αβD`αβD`αB@T`βαThβ↓@dhβAth	∪B∧xπ∀A∧("≤β↓@⊂ε  ↓B)@(BiA⊂&∧i@@αAi@8βAI@0∧AI@(¬AI@ εA)@ εA)@ π↓	@ π↓	@ π↓	@ εA)@ εA)@(¬AI@0∧AI@8βAI@@αAiA_&↓⊂h&↓ X&↓0H&↓	@ &↓	@ &↓	@ &↓	@ &↓λT 8Fβαα↓ α∀↓@λαTα$x	S p(∧S `8∧∪ PHβSPXβ∪@hαS@hαS@pα∪@pα∪@pα∪@hαS@hαSPXβ∪ PHβS `8∧∪ p(∧Sb5ε@ Eε@E⊂∧↓Epα↔@Epα↔@Epα↔@Epα↔@Epα⊃(G⊂λ∧αq@↓↓` &↓P(&↓@0&↓ @&αi@H&α	@8&↓I@(&↓	@ &↓	@ &↓	@ &↓	@ &↓	@ &↓	@ &↓λT 9Db18αTx¬SAThπSP8αS@Hα∪@Hα∪D`αSthεSATxεU@u@αV D`αα D`αα D`αA`ThπSATx¬T@T("≥↓@`⊃λ@0 &A	P &A	P &A	P &A	@(%β	 `%β	 `&A	P &A	P &A	P &A	P &A	P &A	P &A	P &A)P0&AiPH'Aj0(↓HT :EBa8@@`α∪@`α∪@`α∪@`α∪@`α∪@`α∪@`α∪@`α∪@`α∪@`α∪@`α∪@`α∪@`α∪@`α∪@`α∪@`α∪@`α∪@`α∪PPαSαDh	S"5¬@D("≥C↓@F  π↓	@ εA)P_εA	P ¬A)P(¬↓	` ¬i`(∧↓	p βA*_βA
 αA*(α↓
⊂ αj⊂(↓↓
 P)B
0@)Aj@(*↓*P +J`⊂+(T ;HD!8@Xαα`DPαα`PPα∩@@XαB@DPαB pHα∩`P@βBD`ααp@α∪@8∧αD`α↓A 0αS 00α@@0α∪ @(α@@(αS @(α@@(α∪ @(α@@(α∪ P α@P α∪@P⊂α↓P⊂α∪`@⊂α↓ @⊂α∪`@⊂α↓ @⊂α∪`@⊂↓A@@⊂α∀0⊂↓α0⊂↓Tp@∧∀p@βTp@βTp@βT@@Xα⊃(G@εαq@↓α %↓A@0%A!@(&↓! (&A@`0'↓ `('A @((β
⊂P)α
00)AJ @(β
(↓↓)p(α↓)P0β↓IP(∧↓)@(¬↓) 0ε↓I (π↓)  λ↓	 _	hT <EBb@pα∩@Phα∩@Phα∩@`XαR`PPαS@PαSP@β∪ P8αS P8α∪ `(αS@P αS`@ αS`P⊂β∀↓5¬∀↓%λ∧∀@u⊂βT`e_αT`U_α∀`E⊂αT UλαTdP¬RA$P¬∩@t("≡B1_F↓_%∧i!_%∧jp0+A*`0*A*@()AJ ((A*0'A)`(&AI@(%A) 0%∧i!_%∧i!_"Q∂1λ∧@HβT@Eλ↓T5↓T5↓T5↓TEλ↓T@%⊂↓∀@%⊂↓∀@%⊂Q`⊂0S Dhα∪T`αS Dhα∀∀8B∃⊂↓∀@%⊂↓∀@%⊂↓∀ 5α∀5↓T5↓T5↓T 5⊂α∀`t("∨p8⊗	0 &A	P &A	P &A	P &A	P &A	P &A	P &A	P &A	P &A	P &A	P &A	P &A	P &A	P &A	P &A	P &A	P &A	P &A	P &A	P &A	P &A	P &AλT >E"Q`⊂B 5_↓T`5⊂αT uλβT↓∀x¬S@`λβ∪ `_β∪P8αR`PHαR@`Hβ∩@`Hβ∩@`Hβ∩@`Hβ∪P8αS P(αS `_β∪a5∧T↓∃λβT@U⊂αT`5_↓T`4("∨B↓⊗	 8(↓
 _)@j0_)@j0_)@j0_)↓
 _)J ⊂)J ⊂)J0λ#@!0λ*A
P *A*P(*A
P *@(pλ∧@* ⊂)J ⊂)J ⊂)j  )@j0_)@j0_)@j0_)j &↓hT ?F#⊂h∩C∃(α∃U_βTA%λα`Eα↓ DxααDpαα@4hαα`D`αβ@DXα∧4Pα∧ D(z=≡O@¬M@(↓∧jp↓∧jpα`␈␈␈␈@α({β@¬2Z`O0GPe5@ε>`⊂∞↓,PkE=@1`αY-0∞x{↓β`¬d¬p0O0αGPe5@z}`0
@↓↓@⊂@⊂β=@q`αY-0$λ{αβ@¬2Z`T∂0∧GPe5@↓?>`P∞↓,Pk_$=A1xα}-X9h{ββ@¬2Z`⎇o0εGPe5@α>`p∞↓,Pk U=Aq`αY-0Pλ{∧β@¬2Z`↓-/0λG@XH`αg}a⊂∞↓,Pk(f=B1`αY-0d_{¬β@¬2Z`↓W/0
GPe5@βL>a0∞↓,Pk8?=Bq`αY-0}X{εβ@¬2Z`α¬/0H `\`∧∞>aP∞↓,Pk@6=C1`αY-0↓
_{πβ@¬2Z`α≡∂0∞GPe5@∧I}ap∞↓,PkH/=Cqpαrαx↓↔8{λα β<β@α;O0⊂C P∧@∧x}b⊂	@u⊂dP∪=D1`αY-0↓%H{	β0¬~¬ αVO0∩F`P4
@¬W>b0⊃↓QPpXp=Dp`↓∀↓⊂↓Gx{
αβ
X0β∀∂0∀D0∃0`ε>>bP↓∀∩@h)=E1XαMαP↓Z_{↓ ↓vW β:o0⊗FH 	 ε␈>bp¬=P]pε=Eq@α(α(↓ah{β@¬2Z`βOO0_GPe5@π>}c⊂∞↓,Pkx#=F1`αY-0↓yh{
β@¬2Z`∧∂0~GPe5@λ≠>c0∞↓,Pk↓c=Fq`αY-0α∪({∞β@¬2Z`∧0∂0≤GPe5@λ⎇}cPεJ	↓⊂1=G0P{+Pα(_{∂β⊂∧hZ ∧Vo0≡GPe5@	9>cp@↓~⊂i↓⊂|=Gq_↓j,@α28{⊂∧@εxπ∧p∂0 G`Xy6`
¬}d⊂∂↓9↔@↓ H=H1pαrαxαP8{⊃β`¬d¬p¬-/0"F`P4
@
z>d0
@↓&@∃↓0~=Hqxα}-Xαgx{∩β@¬2Z`¬↑O0$B@_m.@↑}dP@↓~⊂i↓8c=I1`αY-0β↓X{∪β∧P∧Pε∪o0&I p!9:>dp∂↓9↔@↓H[=Iqpαrαxβ&8{∀β@¬2Z`ε]/0(G@XH`
R}e⊂∞↓,Pk↓Xm=J1XαMαPβEH{∃β@¬2Z`π⊗o0*G@XH`∞@>e0∂↓9↔@↓hD=Jrp∧7/_β`X{⊗β@¬2Z`πZ/0,GPe5@∂T>eP
@↓&@∃↓x[=K1⊂↓↑↓`∧λ{↔β∧P∧Pλ∂0.D@0xπ⊂/}ep@↓~⊂iαλ∂=Krλβ↔β_∧↔x{_↓@α(α λ6/00FH 	 ⊂t}f⊂
@↓&@∃α⊂∃=L10α∂,h∧*λ{→β⊂∧hZ λ\/02F`P4
@⊃U}f0λbPa@α_N=Lq@α(α(∧>8{~β∧P∧P	
∂04C P∧@∩2>fPλbPa@α(ε=M1@α(α(∧Vλ{≠↓@α(α 	:/06H@h
8∪π>fp↓∀∩@α0U=MqHα4-⊂∧pH{≤β0¬~¬ 	kO08F`P4
@∪r}g⊂	@u⊂dα@≥=N10α∂,h¬π8{≥α β<β@
↔∂0:F HQ4@∀@}g0
@↓&@∃αH0=Nr(βH. ¬~x{≡β0¬~¬ 
I/0<F HQ4@∃'}gP↓πPf@αX=O1_↓j,@¬3({∨↓@α(α 
rO0>GPe5@∃|}gp	@u⊂dα`$=Oq`αY-0¬J8|@α`m`{⎇xow{⎇x